PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
نویسندگان
چکیده
منابع مشابه
Cost-Based Query Answering in Action Probabilistic Logic Programs
Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities. Rules in ap-programs have the form “If the environment in which entity E operates satisfies certain conditions, then the probability that E will take some action A is between L and U”. Given an ap-program, we have addressed t...
متن کاملTemporal Probabilistic Logic Programs
There are many applications where the precise time at which an event will occur (or has occurred) is uncertain. Temporal probabilistic logic programs (TPLPs) allow a programmer to express knowledge about such events. In this paper, we develop a model theory, xpoint theory, and proof theory for TPLPs, and show that the xpoint theory may be used to enumerate consequences of a TPLP in a sound and ...
متن کاملProbabilistic Description Logic Programs
Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole’s independent choice...
متن کاملHybrid Probabilistic Logic Programs as Residuated Logic Programs
In this paper we show the embedding of Hybrid Probabilis-tic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (deenite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the rst time a framework encompassing several qu...
متن کاملHybrid Probabilistic Logic Programs as Residuated Logic Programs
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (deenite) logic programming are validly extrapolated. The importance of this result is that for the rst time a framework encompassing several quite distinct logic programming more general semantical structure paving the way for deen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ingeniare. Revista chilena de ingeniería
سال: 2009
ISSN: 0718-3305
DOI: 10.4067/s0718-33052009000200008